/*
    编写程序实现：从键盘输入一个以秒为单位的时间值整数，将其转换成时、分、秒的形式输出。
    输入：20000
    输出： 5:33:20
*/

#include<bits/stdc++.h>
using namespace std;
int main(){
	int n;
	cin>>n;
	int shi,fen,miao;
	shi=n/3600;
	fen=n%3600/60;
	miao=n%3600%60;
	cout<<shi<<":"<<fen<<":"<<miao;
	return 0;
} 
